Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других. (Википедия)
Развёрнутое толкование значения слов и выражений, список фразеологизмов и устойчивых сочетаний, примеры, поясняющие отдельные значения.
Примеры употребления в контексте из современных источников и из русской классической литературы.
Правописание, таблицы склонения имён существительных и прилагательных, таблицы спряжения глаголов, разбор по составу с графической схемой и указанием списка сходных по морфемному строению слов.